#include "linux/irqchip/arm-gic.h"
#include "linux/io.h"
#include "linux/init.h"
#include "linux/of.h"
#include "linux/errno.h"
#include "linux/irq.h"
#include "linux/irqdomain.h"

int gic_configure_irq(unsigned int irq, unsigned int type,  void __iomem *base, void (*sync_access)(void))
{
    return 0;
}
